$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{B}$). es{-}local{-}le{-}pred\{i:l\}(${\it es}$;$P$) $\in$ AbsInterface(E)